" Kung-Kiu Lau" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Component-based software development: case studies

Автор: Kung-Kiu Lau

Размер книги: 18.38 Mb

Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000

Автор: Kung-Kiu Lau

Категория: Cs_Computer science, CsLn_Lecture notes

Размер книги: 1.48 Mb

Component-Based Software Development: Case Studies (Series on Component-Based Software Development - Vol. 1)

Автор: Kung-Kiu Lau

Категория: Computer Science, Software Engineering

Размер книги: 18.48 Mb

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development (Lecture Notes in Computer Science)

Автор: Maurice Bruynooghe, Автор: Kung-Kiu Lau

Размер книги: 12.00 Mb

Computational Logic - CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings

Автор: John Lloyd, Автор: Veronica Dahl, Автор: Ulrich Furbach, Автор: Manfred Kerber, Автор: Kung-Kiu Lau, Автор: Catuscia Palamidessi, Автор: Luis M. Pereira, Автор: Yehoshua Sagiv, Автор: Peter J. Stuckey

Размер книги: 13.12 Mb

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University ... 2-3 July 1992

Автор: Kung-Kiu Lau, Автор: Timothy P. Clement

Размер книги: 2.61 Mb

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development

Автор: Maurice Bruynooghe, Автор: Kung-Kiu Lau

Размер книги: 4.13 Mb

Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005,

Автор: Kung-Kiu Lau, Автор: Richard Banach

Размер книги: 6.39 Mb